English abstract type and scheme definition language: tłumaczenie na inne języki